concept (C++20)